Revision: tla-tools--dne--0--patch-2
Archive: dne@mayonnaise.net--2004
Creator: Daniel Neri <dne@mayonnaise.net>
Date: Thu Feb  5 02:20:08 CET 2004
Standard-date: 2004-02-05 01:20:08 GMT
Modified-files: configure
New-patches: dne@mayonnaise.net--2004/tla-tools--dne--0--patch-2
    miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-26
    miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-27
Summary: merge w/ miles
Keywords: 

Patches applied:

 * miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-26
   configure script: progress msgs, always use $SED, cmd-line vars

 * miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-27
   Fix configure command-line parsing

